Derivation of Identities Involving Bernoulli and Euler Numbers

Let p be a fixed odd prime. Throughout this paper, Zp,Qp,Cp will, respectively, denote the ring of p-adic integers, the field of p-adic rational numbers, and the completion of algebraic closure of Qp. The p-adic absolute value | |p on Cp is normalized so that |p|p 1/p. Let Z>0 be the set of natural numbers and Z≥0 Z>0 ∪ {0}. As is well known, the Bernoulli polynomials Bn x are defined by the generating function as follows: